Science of Logic

Results: 5317



#Item
71A Functional Logic Database Library Sebastian Fischer Christian-Albrechts-University of Kiel Institute of Computer Science OlshausenstrKiel, Germany

A Functional Logic Database Library Sebastian Fischer Christian-Albrechts-University of Kiel Institute of Computer Science OlshausenstrKiel, Germany

Add to Reading List

Source URL: www-ps.informatik.uni-kiel.de

- Date: 2014-06-15 10:44:19
    72Appears in Computer Science Logic: Proceedings of the 18th International Workshop CSL 2004, Karpacz, Poland, September 20–24, 2004, Lecture Notes in Computer Science 3210, pages 235–249. Springer-Verlag, 2004. A Depe

    Appears in Computer Science Logic: Proceedings of the 18th International Workshop CSL 2004, Karpacz, Poland, September 20–24, 2004, Lecture Notes in Computer Science 3210, pages 235–249. Springer-Verlag, 2004. A Depe

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    - Date: 2005-11-20 08:43:18
      73Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi

      Studying Frequency Effects in Learning Center-embedded Recursion Jun Lai (J.Lai@ tilburguniversity.edu) Tilburg Center for Logic and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg Universi

      Add to Reading List

      Source URL: mindmodeling.org

      - Date: 2014-08-06 20:52:15
        74Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

        Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

        Add to Reading List

        Source URL: logic.cse.unt.edu

        - Date: 2010-05-18 10:11:53
          75Journal of Universal Computer Science, vol. 22, no), submitted: 6/1/16, accepted: , appeared: 1/8/16 © J.UCS A Domain Reasoner for Propositional Logic Josje Lodder (Open University of The Nethe

          Journal of Universal Computer Science, vol. 22, no), submitted: 6/1/16, accepted: , appeared: 1/8/16 © J.UCS A Domain Reasoner for Propositional Logic Josje Lodder (Open University of The Nethe

          Add to Reading List

          Source URL: www.jucs.org

          - Date: 2016-11-29 05:05:01
            76Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

            Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss

            Add to Reading List

            Source URL: i12www.iti.kit.edu

            - Date: 2010-06-02 04:06:07
              77A Logic-based Framework for Mobile Intelligent Information Agents Naoki Fukuta, Takayuki Ito, and Toramatsu Shintani Nagoya Institute of Technology Dept. Intelligence and Computer Science Gokiso-cho, Showa-ku, Nagoya, 46

              A Logic-based Framework for Mobile Intelligent Information Agents Naoki Fukuta, Takayuki Ito, and Toramatsu Shintani Nagoya Institute of Technology Dept. Intelligence and Computer Science Gokiso-cho, Showa-ku, Nagoya, 46

              Add to Reading List

              Source URL: www10.org

              - Date: 2001-03-15 03:31:16
                78Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

                Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

                Add to Reading List

                Source URL: www.cis.upenn.edu

                - Date: 2008-10-15 15:02:55
                  79LA CREENCIA Alexander BainTraducción castellana de Armando Daniel OtamendiEste texto, tomado del volumen de Alexander Bain Professor of Logic in the University of Aberdeen, Mental and Moral Science. Part

                  LA CREENCIA Alexander BainTraducción castellana de Armando Daniel OtamendiEste texto, tomado del volumen de Alexander Bain Professor of Logic in the University of Aberdeen, Mental and Moral Science. Part

                  Add to Reading List

                  Source URL: www.unav.es

                  - Date: 2010-01-22 05:27:45
                    80FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

                    FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

                    Add to Reading List

                    Source URL: www.cs.man.ac.uk

                    - Date: 2015-02-05 09:51:10